As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...) many twists and turns as a thriller. At the end of the story is a new principle for designing programming languages that will guide computers into the 21st century. -/- For my money, Gentzen’s natural deduction and Church’s lambda calculus are on a par with Einstein’s relativity and Dirac’s quantum physics for elegance and insight. And the maths are a lot simpler. I want to show you the essence of these ideas. I’ll need a few symbols, but not too many, and I’ll explain as I go along. -/- To simplify, I’ll present the story as we understand it now, with some asides to fill in the history. First, I’ll introduce Gentzen’s natural deduction, a formalism for proofs. Next, I’ll introduce Church’s lambda calculus, a formalism for programs. Then I’ll explain why proofs and programs are really the same thing, and how simplifying a proof corresponds to executing a program. Finally, I’ll conclude with a look at how these principles are being applied to design a new generation of programming languages, particularly mobile code for the Internet. (shrink)

According to many accounts of faith—where faith is thought of as something psychological, e.g., an attitude, state, or trait—one cannot have faith without belief of the relevant propositions. According to other accounts of faith, one can have faith without belief of the relevant propositions. Call the first sort of account doxasticism since it insists that faith requires belief; call the second nondoxasticism since it allows faith without belief. The New Testament may seem to favor doxasticism over nondoxasticism. For it may (...) seem that, according to the NT authors, one can have faith in God, as providential, or faith that Jesus is the Messiah, or be a person of Christian faith, and the like only if one believes the relevant propositions. In this essay, I propose to assess this tension, as it pertains to the Gospel of Mark. The upshot of my assessment is that, while it may well appear that, according to Mark, one can have faith only if one believes the relevant propositions, appearances are deceiving. Mark said no such thing. Rather, what Mark said—by way of story—about faith fits nondoxasticism at least as well as doxasticism, arguably better. More importantly, the account of faith that emerges from Mark is that faith consists in resilience in the face of challenges to living in light of the overall positive stance to the object of faith, where that stance consists in certain conative, cognitive, and behavioral-dispositional elements. (shrink)

Success semantics holds, roughly, that what it is for a state of an agent to be a belief that P is for it to be disposed to combine with her desires to cause behaviour that would fulfill those desires if P. J. T. Whyte supplements this with an account of the contents of an agent's “basic desires” to provide an attractive naturalistic theory of mental content. We argue that Whyte's strategy can avoid the objections raised against it by restricting “basic (...) desires” to sensory inclinations that cause us to do things independently of our beliefs about their contents. -/- La sémantique du succès soutient, en gros, que ce qu'il faut pour qu'un état d'un agent soit une croyance en P, c'est que cet état soit disposé à se combiner avec ses désirs pour provoquer un comportement qui répondrait à ces désirs si P. J. T. Whyte complète cela par un compte-rendu du contenu des « désirs de base » d'un agent pour fournir une théorie naturaliste attrayante du contenu mental. Nous soutenons que la stratégie de Whyte peut éviter les objections qui lui sont faites en restreignant les « désirs de base » aux inclinations sensorielles qui nous font agir indépendamment de nos croyances sur leur contenu. (shrink)

It has recently been argued that when one conducts an inquiry into some question one ought to suspend belief with respect to that question. But what about hunches? In this short note, a hunch about the cause of a phenomenon is described. The hunch plays a role in the inquiry into the cause of the phenomenon. It appears that the hunch constitutes a belief that need not be suspended during the inquiry even though belief about the precise cause of the (...) phenomenon is suspended. (shrink)

We take ourselves to have an inner life of thought, and we take ourselves to be capable of linguistically expressing our thoughts to others. But what is the nature of this “inner life” of thought? Is conscious thought necessarily carried out in language? This paper takes up these questions by examining Merleau-Ponty’s theory of expression. For Merleau-Ponty, language expresses thought. Thus it would seem that thought must be independent of, and in some sense prior to, the speech that expresses it. (...) He also claims, however, that thinking just is linguistic expression, and thus that language constitutes thought. The primary aim of this paper is to make sense of this constitutive claim while maintaining that, for Merleau-Ponty, there is an inner life of thought that exists independently of linguistic expression, and that this inner life rightly deserves the label “thought”. The upshot of this account is twofold. First, it explains why the mainstream view of Merleau-Ponty’s theory of expression seems plausible, but is ultimately inadequate. Second, it functions as a corrective to contemporary debates about the nature and scope of phenomenal consciousness and the sense in which conscious experience has content. (shrink)

In this dialogue, we discuss the contrast between inexorable physical laws and the semiotic freedom of life. We agree that material and symbolic structures require complementary descriptions, as do the many hierarchical levels of their organizations. We try to clarify our concepts of laws, constraints, rules, symbols, memory, interpreters, and semiotic control. We briefly describe our different personal backgrounds that led us to a biosemiotic approach, and we speculate on the future directions of biosemiotics.

It is often assumed that the best explanation of why we should be moral must involve a substantive account of what there is reason to do and how this is related to what morality requires and recommends. In this paper I argue to the contrary that the best explanation of why we should be moral is neutral about the content of morality, and does not invoke an independent substantive account of what there is practical reason to do. I contend that (...) an act’s deontic status as recommended or required by morality is best understood as its being fitting for us to feel obligated to perform it, which essentially involves motivation to perform it. I argue, moreover, that our having reason to do something is a matter of its being fitting for us to be motivated to do it. Since an act’s being favored by morality conceptually entails the fittingness of our being motivated to perform it, and the fittingness of this motivation conceptually entails that there is reason to perform it, it is actually a conceptual truth that there are reasons to do what morality requires and recommends, whatever that turns out to be. I contend, finally, that this kind of account best explains why, although moral considerations are not always overriding, we necessarily have conclusive reasons to do what morality requires. I argue that an act counts as morally required only if the reasons to feel obligated to perform it are conclusive, which entails that it is unfitting to fail to be most strongly motivated to perform it. This, together with my account of the connection between fitting motives and practical reasons, entails that whatever considerations are weighty enough to make the act morally required are conclusive reasons to perform it. I believe that this conceptual account of reasons to be moral is important, because it removes the explanation of why we should be moral as a desideratum on normative ethical theories, which may significantly decrease the attractions of some and increase the attractions of others. (shrink)

Inflicting harm is generally preferable to inflicting death. If you must choose between the two, you should generally choose to harm. But prenatal harm seems different. If a mother must choose between harming her fetus or aborting it, she may choose either, at least in many cases. So it seems that prenatal harm is particularly objectionable, sometimes on a par with death. This paper offers an explanation of why prenatal harm seems particularly objectionable by drawing an analogy to the all-or-nothing (...) problem. It then argues that this analogy offers independent support for the ‘voluntarist’ view that at least some parental role obligations are grounded in the choice to be a parent. (shrink)

Michael Moore’s recent book Mechanical Choices: The Responsibility of the Human Machine is full of rich, insightful discussion of many important issues related to free will and moral responsibility. I will focus on one particular issue raised by Moore: the question of whether we can have control over the past. Moore defends a compatibilist account of moral responsibility on which there are some possible cases in which agents do have such control. But Moore seeks to avoid positing too much control (...) over the past. I will argue that Moore’s attempt is not successful. Furthermore, I will try to show that compatibilists in general face a serious challenge regarding control over the past. In sections 1 and 2 I will explore Moore’s views. In section 3 and 4 I will offer a general argument against compatibilism about moral responsibility and determinism. (shrink)

On doxastic theories of propositional faith,necessarily,S has faith that p only if S believes that p. On nondoxastic theories of propositional faith, it’s false that,necessarily,S has faith that p only if S believes that p. In this article, I defend three arguments for nondoxastic theories of faith and I respond to published criticisms of them.

What is faith? Lara Buchak has done as much as anyone recently to answer our question in a sensible and instructive fashion. As it turns out, her writings reveal two theories of faith, an early one and a later one (or, if you like, two versions of the same theory). In what follows, we aim to do three things. First, we will state and assess Buchak’s early theory, highlighting both its good-making and bad-making features. Second, we will do the same (...) for her later theory, noting improvements on the early one. Third, we will mark various choice points in theorizing about faith, and we will argue for specific choices at those points, culminating in what we regard as a better, alternative theory of faith. Our critical aims, therefore, are ultimately constructive. By theorizing about faith with Lara Buchak, we aim to contribute to our common understanding of what faith is. (shrink)

This paper examines the interplay between hope and despair in David Walker's "Appeal to the Coloured Citizens of the World" (1829). I argue that, in his pamphlet, Walker mobilizes despair about the depth and seeming insurmountability of white supremacy to catalyze collective political agency and thereby emancipatory hope among Black Americans. This emancipatory potential of despair is grounded a distinction between the content of despair (a belief in the insurmountability of white supremacy) and its form as a political judgment made (...) in concert with others. Walker uses the form of despair as political judgment to effect a transformation in the political affect of Black Americans from a shared sense that there is nothing to be done to to a collective sense of a 'we' that can act to change the world. (shrink)

This paper argues for a Husserlian account of phenomenal intentionality. Experience is intentional insofar as it presents a mind-independent, objective world. Its doing so is a matter of the way it hangs together, its having a certain structure. But in order for the intentionality in question to be properly understood as phenomenal intentionality, this structure must inhere in experience as a phenomenal feature. Husserl’s concept of horizon designates this intentionality-bestowing experiential structure, while his concept of motivation designates the unique phenomenal (...) character of this structure as it is experientially lived through. The way experience hangs together is itself a phenomenal feature of experience. (shrink)

Springer. We find in contemporary culture starkly contrasting estimates of the value of faith. On the one hand, for many people, faith is a virtue or positive human value, something associated with understanding, hope, and love, something to be inculcated, maintained, and cherished. On the other hand, for many people, faith is a vice, something associated with dogmatism, arrogance, and close-mindedness, something to be avoided at all costs. The papers included in this special (double) issue on approaches to faith explore (...) questions about faith in a variety of settings through a diverse range of examples, both secular and religious. The attempt to deepen our understanding of faith in the context of ordinary human relationships (e.g., between parents and children, friends, generals and their armies, business partners, citizens and the state), a commitment to ideals, or the pursuit of significant goals is clearly of general philosophical interest, as is the examination of potential connections between faith and topics such as trust or reliance. (shrink)

Both Philip and Andrew are philosophy students whose interests converge around the philosophy of technology broadly understood. Philip's interest is specifically aimed toward the ethics of Transhumanism and depictions of Transhumanism in works of fiction. On the other hand, Andrew finds himself more focused on religious behavior in the technological world. While the two perspectives might not seem that close, there is certain to be an overlap in Andrew and Philip's shared understanding of how technological phenomena play (...) a crucial role concerning religion and society. (shrink)

It is argued that to believe is to believe true. That is, when one believes a proposition one thereby believes the proposition to be true. This is a point about what it is to believe rather than about the aim of belief or the standard of correctness for belief. The point that to believe is to believe true appears to be an analytic truth about the concept of belief. It also appears to be essential to the state of belief that (...) to believe is to believe true. This is not just a contingent fact about our ordinary psychology, since even a non-ordinary believer must believe a proposition that they believe to be true. Nor is the idea that one may accept a theory as empirically adequate rather than as true a counter-example, since such acceptance combines belief in the truth of the observational claims of a theory with suspension of belief with respect to the non-observational claims of a theory. Nor is the fact that to believe is to believe true to be explained in terms of an inference governed by the T-scheme from the belief that P to the belief that P is true, since there is no inference from the former to the latter. To believe that P just is to believe that P is true. (shrink)

Background: Current practice frequently fails to provide care consistent with the preferences of decisionally-incapacitated patients. It also imposes significant emotional burden on their surrogates. Algorithmic-based patient preference predictors (PPPs) have been proposed as a possible way to address these two concerns. While previous research found that patients strongly support the use of PPPs, the views of surrogates are unknown. The present study thus assessed the views of experienced surrogates regarding the possible use of PPPs as a means to help make (...) treatment decisions for decisionally-incapacitated patients. -/- Methods: This qualitative study used semi-structured interviews to determine the views of experienced surrogates [n=26] who were identified from two academic medical centers and two community hospitals. The primary outcomes were respondents’ overall level of support for the idea of using PPPs and the themes related to their views on how a PPP should be used, if at all, in practice. -/- Results: Overall, 21 participants supported the idea of using PPPs. The remaining five indicated that they would not use a PPP because they made decisions based on the patient’s best interests, not based on substituted judgment. Major themes which emerged were that surrogates, not the patient’s preferences, should determine how treatment decisions are made, and concern that PPPs might be used to deny expensive care or be biased against minority groups. -/- Conclusions: Surrogates, like patients, strongly support the idea of using PPPs to help make treatment decisions for decisionally-incapacitated patients. These findings provide support for developing a PPP and assessing it in practice. At the same time, patients and surrogates disagree over whose preferences should determine how treatment decisions are made, including whether to use a PPP. These findings reveal a fundamental disagreement regarding the guiding principles for surrogate decision-making. Future research is needed to assess this disagreement and consider ways to address it. (shrink)

The Ideal of Deliberative Democracy The Discursive Dilemma The Relevance of the Dilemma for Deliberative Democracy The Resolution in Republican Theory This Resolution and Other Arguments for the Ideal Notes.

Participants in the cognitive phenomenology debate have proceeded by (a) proposing a bifurcation of theoretical options into inflationary and non-inflationary theories, and then (b) providing arguments for/against one of these theories. I suggest that this method has failed to illuminate the commonalities and differences among conscious intentional states of different types, in the absence of a theory of the structure of these states. I propose such a theory. In perception, phenomenal-intentional properties combine with somatosensory properties to form P-I property clusters (...) that serve as phenomenal modes of presentations of particulars. In imagination, somatosensory properties are replaced with phenomenal-intentional properties whose intentional objects are somatosensory properties, thus resulting in imaginative facsimiles of perceptual P-I property clusters. Such structures can then be used as phenomenal prototypes that pick out individuals and kinds. Sets of such prototypes constitute a subject’s conception of individuals and kinds. Combined with a few additional elements, these imaginative P-I property clusters serve as the building-blocks of conscious cognitive states. Different ways of carving up theoretical space classify my theory either as inflationary or as non-inflationary. I conclude that the theory is anti-inflationary in letter but inflationary in spirit. (shrink)

The case for secrecy in voting depends on the assumption that voters reliably vote for the political outcomes they want to prevail. No such assumption is valid. Accordingly, voting procedures should be designed to provide maximal incentive for voters to vote responsibly. Secret voting fails this test because citizens are protected from public scrutiny. Under open voting, citizens are publicly answerable for their electoral choices and will be encouraged thereby to vote in a discursively defensible manner. The possibility of bribery, (...) intimidation or blackmail moderates this argument but such dangers will be avoidable in many contemporary societies without recourse to secrecy. (shrink)

The paper explores the relativistic implications of the thesis of incommensurability. A semantic form of incommensurability due to semantic variation between theories is distinguished from a methodological form due to variation in methodological standards between theories. Two responses to the thesis of semantic incommensurability are dealt with: the first challenges the idea of untranslatability to which semantic incommensurability gives rise; the second holds that relations of referential continuity eliminate semantic incommensurability. It is then argued that methodological incommensurability poses little risk (...) to the rationality or objectivity of science. For rational theory choice need neither be dictated by an algorithm nor governed by a binding set of rules. The upshot of the discussion is deflationary. There is little prospect for a relativistic conception of science based on inflated claims about the incommensurability of scientific theories. (shrink)

It is common for young Christians to go off to college assured in their beliefs but, in the course of their first year or two, they meet what appears to them to be powerful defenses of scientific naturalism and crushing critiques of the basic Christian story (BCS), and many are thrown into doubt. They think to themselves something like this: "To be honest, I am troubled about the BCS. While the problem of evil, the apparent cultural basis for the diversity (...) of religions, the explanatory breadth of contemporary science, naturalistic explanations of religious experience and miracle reports, and textual and historical criticism of the Bible, among other things, don’t make me believe the BCS is false , I am in serious doubt about it, so much so that I lack belief of it. In that case, how can I have Christian faith? And if I don’t have faith, how can I keep on praying, attending church, affirming the creed, confessing my sins, taking the sacraments, singing the hymns and songs, and so on? I can’t, unless I’m a hypocrite. So integrity requires me to drop the whole thing and get out." Of course, our student is not alone. Many Christians find themselves for some portion of their lives somewhere on the trajectory from doubt to getting out. Indeed, Christians in the West struggle with intellectual doubt more than they used to, especially university-educated Christians. What should we say to them? Some will say “Get out!,” welcoming the development as a path to liberation. We explore a different response in this essay. (shrink)

In this short essay, we sketch a theory of faith that features resilience in the face of challenges to relying on those in whom you have faith. We argue that it handles a variety of both religious and secular faith-data, e.g., the value of faith in relationships of mutual faith and faithfulness, how the Christian and Hebrew scriptures portray pístis and ʾĕmûnāh, and the character of faith as it is often expressed in popular secular venues.

The aim of this chapter is to explore the relationship between Kuhn’s views about science and scientific realism. I present an overview of key features of Kuhn’s model of scientific change. The model suggests a relativistic approach to the methods of science. I bring out a conflict between this relativistic approach and a realist approach to the norms of method. I next consider the question of progress and truth. Kuhn’s model is a problem-solving model that proceeds by way of puzzles (...) and anomalies rather than progress toward truth. I explore Kuhn’s views about scientific progress in connection with scientific realist views about truth and progress. This leads to consideration of Kuhn’s views about the incommensurability of paradigms, as well as brief consideration of an anti-realist interpretation of his talk of world-change. I conclude by indicating that the scientific realist may endorse some aspects of Kuhn’s view. (shrink)

In this paper, I explore the purported conflict between science and common sense within the context of scientific realism. I argue for a version of scientific realism which retains commitment to realism about common sense rather than seeking to eliminate it.

Let justice be a feature of the social order imposed by a state and legitimacy a feature of how it is imposed: one that makes the imposition acceptable. This article argues that, so understood, legitimacy is quite a distinct concern from justice; that the core concern is with showing how state coercion is consistent with people’s being free citizens; that this does not require showing that the state exists by consensus or contract; that the best hope of satisfying the concern (...) lies with arguing that state coercion need not be dominating; and that this is possible only within the republican theory that identifies freedom with the absence of domination, not interference. (shrink)

Many philosophers maintain that the ability to do otherwise is compatible with comprehensive divine foreknowledge but incompatible with the truth of causal determinism. But the Fixity of the Past principle underlying the rejection of compatibilism about the ability to do otherwise and determinism appears to generate an argument also for the incompatibility of the ability to do otherwise and divine foreknowledge. By developing an account of ability that appeals to the notion of explanatory dependence, we can replace the Fixity of (...) the Past with a principle that does not generate this difficulty. I develop such an account and defend it from objections. I also explore some of the account's implications, including whether the account is consistent with presentism. (shrink)

This book presents a critical analysis of the semantic incommensurability thesis of Thomas Kuhn and Paul Feyerabend. In putting forward the thesis of incommensurability, Kuhn and Feyerabend drew attention to complex issues concerning the phenomenon of conceptual change in science. They raised serious problems about the semantic and logical relations between the content of theories which deploy unlike systems of concepts. Yet few of the more extreme claims associated with incommensurability stand scrutiny. The argument of this book is as follows. (...) The terms of theories with different concepts diverge semantically and the vocabularies of such theories may not be fully intertranslatable. Given the possibility of referential overlap between the terms of conceptually divergent theories, it does not follow that the content of such theories is incomparable. Nor, given the distinction between understanding a language and translation from one language into another, does it follow that the proponents of mutually untranslatable theories are unable to communicate. Neither is it the case that the shift between conceptually divergent theories involves a discontinuous transition between theories which have no common reference or that refer to distinct worlds of their own making. The semantic differences resulting from conceptual variance may be embraced within a thoroughly realist framework on which they are construed as diverse linguistic relations to a fixed and independent reality. -/- The book, which was originally published in 1994, has now been re-issued in the Routledge Revivals series. -/- . (shrink)

Many theistic religions place a high value on faith in God and some traditions regard it as a virtue. However, philosophers commonly assign either very little value to faith in God or significant negative value, or even view it as a vice. Progress in assessing whether and when faith in God can be valuable or disvaluable, virtuous or vicious, rational or irrational, or otherwise apt or inapt requires understanding what faith in God is. This Special Issue on the normative appraisal (...) of faith in God for Religious Studies includes nine articles, from a diverse range of perspectives, which explore issues related to the core questions ‘What is faith in God?’ and ‘What normative questions about faith in God need to be addressed?’ In this Introduction, we briefly introduce each article. (shrink)

Introductory Chapter to the _Cambridge Handbook of Situated Cognition_ (CUP, 2009).

I consider what I hope are increasingly sophisticated versions of ontological argument, beginning from simple definitional forms, through three versions to be found in Anselm, with their recent interpretations by Malcolm, Plantinga, Klima and Lowe. I try to show why none of these work by investigating both the different senses of necessary existence and the conditions under which logically necessary existence can be brought to bear. Although none of these arguments work, I think that they lead to interesting reflections on (...) the nature of definition, on the conditions for possessing the property of necessary existence and point towards a different, neo-Platonic ground for God’s meeting the criteria for being logically necessary. (shrink)

Scientific realism is the position that the aim of science is to advance on truth and increase knowledge about observable and unobservable aspects of the mind-independent world which we inhabit. This book articulates and defends that position. In presenting a clear formulation and addressing the major arguments for scientific realism Sankey appeals to philosophers beyond the community of, typically Anglo-American, analytic philosophers of science to appreciate and understand the doctrine. The book emphasizes the epistemological aspects of scientific realism and contains (...) an original solution to the problem of induction that rests on an appeal to the principle of uniformity of nature. (shrink)

Holly Smith has recently argued that Subjective Deontological Moral Theories (SDM theories) cannot adequately account for agents’ duties to gather information. I defend SDM theories against this charge and argue that they can account for agents’ duties to inform themselves. Along the way, I develop some principles governing how SDM theories, and deontological moral theories in general, should assign ‘deontic value’ or ‘deontic weight’ to particular actions.

In this chapter I defend a methodological view about how we should conduct substantive ethical inquiries in the fields of normative and practical ethics. I maintain that the direct plausibility and implausibility of general ethical principles – once fully clarified and understood – should be foundational in our substantive ethical reasoning. I argue that, in order to expose our ethical intuitions about particular cases to maximal critical scrutiny, we must determine whether they can be justified by directly plausible principles. To (...) expose apparently plausible principles to maximal critical scrutiny, we must determine whether their direct plausibility can survive careful clarification of what they are really saying. This means that intuitions about cases are useful only in (a) suggesting principles that must stand on their own two feet, and (b) illustrating or otherwise helping us clarify what a principle is really saying. We should not reject principles that seem most directly plausible after we have fully clarified their content simply because they conflict with our intuitions about cases, because to do so is to side with uncritical prejudices over the teachings of critical scrutiny. (shrink)

A reflection on paradox vis-a-vis truth in the context of religion. The discussion directly pertains to the Jewish context. But the issues are quite general.

While it is tempting to suppose that an act has moral worth just when and because it is motivated by sufficient moral reasons, philosophers have, largely, come to doubt this analysis. Doubt is rooted in two claims. The first is that some facts can motivate a given act in multiple ways, not all of which are consistent with moral worth. The second is the orthodox view that normative reasons are facts. I defend the tempting analysis by proposing and defending a (...) heterodox account of both normative and motivating reasons that is inspired by Donald Davidson’s primary reasons. We should adopt the heterodox view, I argue, because it addresses an overlooked but fatal defect in the orthodox conception of reasons, of which challenges to the tempting analysis are a special case. (shrink)

This book concentrates on three topics: the problem of the semantic incommensurability of theories; the non-algorithmic character of rational scientific theory choice and naturalised accounts of the rationality of methodological change. The underlying aim is to show how the phenomenon of extensive conceptual and methodological variation in science need not give rise to a thorough-going epistemic or conceptual relativism.